#pragma once
#include "parser.h"

class interpreter
{
private:
	parser* par;
public:
	interpreter(parser* par);
	~interpreter(void);
	bool execute_predicate(predicate& pred);
	bool compare (QVector<variable*>& predargs, QVector<variable*>& clauseargs);
};

